Crate isotope_parser[][src]

Expand description

isotope-parser

A parser for a simple textual representation of the isotope language, designed mainly for debugging and testing purposes

Modules

ast

An abstract syntax tree for the textual representation of isotope

prettyprint

Prettyprint isotope ASTs

token

Keywords and special characters

utils

Utility parsers for, e.g., natural numbers and booleans

Functions

atom

Parse an (atomic) isotope expression

branch

Parse a branch of a case statement

case

Parse a case statement

enum_

Parse an enumeration

expr

Parse an isotope expression

ident

Parse a string forming a valid isotope identifier

join

Parse a join-statement

join_kind

Parse a join kind

lambda

Parse a lambda function

let_

Parse a let-statement

opt_ident

Parse an optional identifier

pi

Parse a pi type

scope

Parse a scope

scope_inner

Parse an inner scope

sexpr

Parse an S-expression wrapped in parentheses, with an optional annotation

stmt

Parse a statement

universe

Parse a typing universe

universe_var

Parse a universe variable

var

Parse a variable index

variant

Parse a variant